搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书(共3598本)

	Time series analysis : theory and practice 6 : hydrological, geophysical, and spatial applications : proceedings of the international conferenece held at Toronto, Canada, 10-14 August 1983 0 索取号：O211.61-53/E901/6 作者：出版社：Amsterdam ; New York : North-Holland ; Sole distributors for the U.S.A. and Canada, Elsevier Pub. Co., 1985.		Seminar on Stochastic Processes, 1988 0 索取号：O211.6-53/E901/1988 作者：Seminar on Stochastic Processes (8th : 1988 : University of Florida)、Cinlar、 E. (Erhan)、 1941-、Chung、 Kai Lai、 1917-、Getoor、 R. K. (Ronald Kay)、 1929-、Glover、 J. (Joseph)、出版社：Boston : Birkhauser, 1989.
	Seminar on Stochastic Processes, 1981 0 索取号：O211.6-53/E901/1981 作者：Seminar on Stochastic Processes (1981 : Northwestern University)、Cinlar、 E. (Erhan)、 1941-、Chung、 Kai Lai、 1917-、Getoor、 R. K. (Ronald Kay)、 1929-、出版社：Boston : BirkḧАuser, 1981.		Statistical inference from stochastic processes : proceedings of the AMS-IMS-SIAM joint summer research conference held August 9-15, 1987, with support from the National Science Foundation and the Army Research Office 0 索取号：O211.6-53/E904 作者：AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Statistical Inference from Stochastic Processes (1987 : Cornell University)、Prabhu、 N. U. (Narahari Umanath)、 1924-、American Mathematical Society.、Institute of Mathematical Statistics.、Society for Industrial and Applied Mathematics.、出版社：Providence, R.I. : American Mathematical Society, c1988.
	Applied stochastic processes 0 索取号：O211-53/E902 作者：Applied Stochastic Processes Conference (1978 : University of Georgia)、Adomian、 G.、出版社：New York : Academic Press, 1980.		Selectivity, a goal for synthetic efficiency : proceedings of the Fourteenth workshop conference Hoechst, Schloss Reisensburg, 18-22 September 1983 0 索取号：O621.3-53/E901 作者：出版社：Weinheim, Germany ; Deerfield Beach, Fla. : Verlag Chemie, c1984.
	Organic synthesis, today and tomorrow : proceedings of the 3rd IUPAC Symposium on Organic Synthesis, Madison, Wisconsin, USA, 15-20 June 1980 0 索取号：O621.3-53/E903 作者：IUPAC Symposium on Organic Synthesis (3rd : 1980 : Madison、 Wis.)、Trost、 Barry M.、Hutchinson、 C. Richard.、International Union of Pure and Applied Chemistry. Organic Chemistry Division.、American Chemical Society. Division of Organic Chemistry.、University of Wisconsin. Dept. of Chemistry.、出版社：Oxford ; New York : Pergamon Press, 1981.		Stereoselective synthesis of natural products : proceedings of the seventh workshop conference Hoechst, Schloss Reisensburg, 24-27 September 1978 0 索取号：O621.3-53/E802 作者：出版社：Amsterdam : Excerpta Medica ; New York : sole distributors for the USA and Canada, Elsevier North-Holland, 1979.
	Statistical modelling : a selection of papers from the Sixth International Workshop on Statistical Modelling, Utrecht, The Netherlands, 15-19 July, 1991 0 索取号：O21-532/E992 作者：International Workshop on Statistical Modelling (6th : 1991 : Utrecht、 Netherlands)、Heijden、 P. G. M. van der (Peter G. M.)、出版社：Amsterdam ; New York : North-Holland, 1992.		Probability and statistical decision theory 0 索取号：O21-53/E901/4.1 作者：Pannonian Symposium on Mathematical Statistics (4th : 1983 : Bad Tatzmannsdorf、 Austria)、Konecny、 F.、Mogyoródi、 J.、Wertz、 Wolfgang.、出版社：Dordrecht, Holland ; Boston : D. Reidel ; Hingham, MA, U.S.A. : Distributors for the U.S.A. and Canada, Kluwer Academic Publishers, c1985.
	Computational probability : the proceedings of the Actuarial Research Conference on Computational Probability held at Brown University, Providence, Rhode Island on August 28-30, 1975 0 索取号：O21-53/E902 作者：Actuarial Research Conference on Computational Probability (1975 : Brown University)、Kahn、 P. M. (Paul Markham)、Society of Actuaries. Committee on Research.、Brown University. Dept. of Applied Mathematics.、出版社：New York : Academic Press, 1980.		Selectivity in chemical reactions 0 索取号：O632.11-53/E901 作者：NATO Advanced Research Workshop on "Selectivity in Chemical Reactions" (1987 : Windermere、 England)、Whitehead、 J. C.、 1947-、North Atlantic Treaty Organization. Scientific Affairs Division.、出版社：Dordrecht ; Boston : Kluwer Academic Publishers, c1988.
	Graph theory and related topics : proceedings of the conference held in honour of Professor W.T. Tutte on the occasion of his sixtieth birthday, University of Waterloo, July 5-9, 1977 0 索取号：O157.5-53/E801 作者：出版社：New York : Academic Press, 1979.		Cationic polymerization and related processes : proceedings of 6th international symposium held in Ghent, Belgium, 30 August-2 September, 1983 0 索取号：O631.5-53/E901 作者：出版社：London ; Orlando : Academic Press, 1984.
	University chemistry 0 索取号：O6/E9032.4 作者：Mahan、 Bruce H.、Myers、 Rollie J.、出版社：Menlo Park, Calif. : Benjamin/Cummings Pub. Co., 1987.		Transition metals in organic synthesis : conference papers of the International Seminar on Modern Synthetic Methods 1983, Interlaken, May 5th/6th, 1983 0 索取号：O621.3/E9024 作者：International Seminar on Modern Synthetic Methods (3rd : 1983 : Interlaken、 Switzerland)、Scheffold、 Rolf.、Schweizerischer Chemiker-Verband.、出版社：Frankfurt am Main : O. Salle ; Chichester ; New York : Wiley, 1983.

	Time series analysis : theory and practice 6 : hydrological, geophysical, and spatial applications : proceedings of the international conferenece held at Toronto, Canada, 10-14 August 1983 0 索取号：O211.61-53/E901/6 作者：出版社：Amsterdam ; New York : North-Holland ; Sole distributors for the U.S.A. and Canada, Elsevier Pub. Co., 1985.		Seminar on Stochastic Processes, 1988 0 索取号：O211.6-53/E901/1988 作者：Seminar on Stochastic Processes (8th : 1988 : University of Florida)、Cinlar、 E. (Erhan)、 1941-、Chung、 Kai Lai、 1917-、Getoor、 R. K. (Ronald Kay)、 1929-、Glover、 J. (Joseph)、出版社：Boston : Birkhauser, 1989.
	Seminar on Stochastic Processes, 1981 0 索取号：O211.6-53/E901/1981 作者：Seminar on Stochastic Processes (1981 : Northwestern University)、Cinlar、 E. (Erhan)、 1941-、Chung、 Kai Lai、 1917-、Getoor、 R. K. (Ronald Kay)、 1929-、出版社：Boston : BirkḧАuser, 1981.		Statistical inference from stochastic processes : proceedings of the AMS-IMS-SIAM joint summer research conference held August 9-15, 1987, with support from the National Science Foundation and the Army Research Office 0 索取号：O211.6-53/E904 作者：AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Statistical Inference from Stochastic Processes (1987 : Cornell University)、Prabhu、 N. U. (Narahari Umanath)、 1924-、American Mathematical Society.、Institute of Mathematical Statistics.、Society for Industrial and Applied Mathematics.、出版社：Providence, R.I. : American Mathematical Society, c1988.
	Applied stochastic processes 0 索取号：O211-53/E902 作者：Applied Stochastic Processes Conference (1978 : University of Georgia)、Adomian、 G.、出版社：New York : Academic Press, 1980.		Selectivity, a goal for synthetic efficiency : proceedings of the Fourteenth workshop conference Hoechst, Schloss Reisensburg, 18-22 September 1983 0 索取号：O621.3-53/E901 作者：出版社：Weinheim, Germany ; Deerfield Beach, Fla. : Verlag Chemie, c1984.
	Organic synthesis, today and tomorrow : proceedings of the 3rd IUPAC Symposium on Organic Synthesis, Madison, Wisconsin, USA, 15-20 June 1980 0 索取号：O621.3-53/E903 作者：IUPAC Symposium on Organic Synthesis (3rd : 1980 : Madison、 Wis.)、Trost、 Barry M.、Hutchinson、 C. Richard.、International Union of Pure and Applied Chemistry. Organic Chemistry Division.、American Chemical Society. Division of Organic Chemistry.、University of Wisconsin. Dept. of Chemistry.、出版社：Oxford ; New York : Pergamon Press, 1981.		Stereoselective synthesis of natural products : proceedings of the seventh workshop conference Hoechst, Schloss Reisensburg, 24-27 September 1978 0 索取号：O621.3-53/E802 作者：出版社：Amsterdam : Excerpta Medica ; New York : sole distributors for the USA and Canada, Elsevier North-Holland, 1979.
	Statistical modelling : a selection of papers from the Sixth International Workshop on Statistical Modelling, Utrecht, The Netherlands, 15-19 July, 1991 0 索取号：O21-532/E992 作者：International Workshop on Statistical Modelling (6th : 1991 : Utrecht、 Netherlands)、Heijden、 P. G. M. van der (Peter G. M.)、出版社：Amsterdam ; New York : North-Holland, 1992.		Probability and statistical decision theory 0 索取号：O21-53/E901/4.1 作者：Pannonian Symposium on Mathematical Statistics (4th : 1983 : Bad Tatzmannsdorf、 Austria)、Konecny、 F.、Mogyoródi、 J.、Wertz、 Wolfgang.、出版社：Dordrecht, Holland ; Boston : D. Reidel ; Hingham, MA, U.S.A. : Distributors for the U.S.A. and Canada, Kluwer Academic Publishers, c1985.
	Computational probability : the proceedings of the Actuarial Research Conference on Computational Probability held at Brown University, Providence, Rhode Island on August 28-30, 1975 0 索取号：O21-53/E902 作者：Actuarial Research Conference on Computational Probability (1975 : Brown University)、Kahn、 P. M. (Paul Markham)、Society of Actuaries. Committee on Research.、Brown University. Dept. of Applied Mathematics.、出版社：New York : Academic Press, 1980.		Selectivity in chemical reactions 0 索取号：O632.11-53/E901 作者：NATO Advanced Research Workshop on "Selectivity in Chemical Reactions" (1987 : Windermere、 England)、Whitehead、 J. C.、 1947-、North Atlantic Treaty Organization. Scientific Affairs Division.、出版社：Dordrecht ; Boston : Kluwer Academic Publishers, c1988.
	Graph theory and related topics : proceedings of the conference held in honour of Professor W.T. Tutte on the occasion of his sixtieth birthday, University of Waterloo, July 5-9, 1977 0 索取号：O157.5-53/E801 作者：出版社：New York : Academic Press, 1979.		Cationic polymerization and related processes : proceedings of 6th international symposium held in Ghent, Belgium, 30 August-2 September, 1983 0 索取号：O631.5-53/E901 作者：出版社：London ; Orlando : Academic Press, 1984.
	University chemistry 0 索取号：O6/E9032.4 作者：Mahan、 Bruce H.、Myers、 Rollie J.、出版社：Menlo Park, Calif. : Benjamin/Cummings Pub. Co., 1987.		Transition metals in organic synthesis : conference papers of the International Seminar on Modern Synthetic Methods 1983, Interlaken, May 5th/6th, 1983 0 索取号：O621.3/E9024 作者：International Seminar on Modern Synthetic Methods (3rd : 1983 : Interlaken、 Switzerland)、Scheffold、 Rolf.、Schweizerischer Chemiker-Verband.、出版社：Frankfurt am Main : O. Salle ; Chichester ; New York : Wiley, 1983.